Notes on Coalgebras, Cofibrations and Concurrency
نویسندگان
چکیده
منابع مشابه
Notes on Coalgebras, Cofibrations and Concurrency
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.
متن کاملNotes on Concurrency Control in Groupware
These brief notes explore the requirements and design issues surrounding concurrency control in groupware – software with which several users, often geographically separated, collaborate on a shared task such as document writing. The next section gives an overview of groupware. We then give requirements and design issues, and go on to discuss how traditional concurrency control techniques such ...
متن کاملTopics in Concurrency Lecture Notes
ions in parallel with processes: F |P = λx ((F x)|P ). Concretions in parallel with processes: C|P = (fst C, (snd C)|P ). The remaining cases are given symmetrically. Processes P , Q of type P will—up to bisimilarity—be sums of prefixed terms, and by Proposition 8.7, their parallel composition satisfies the obvious expansion law. Ambient creation can be defined recursively in the higher-order l...
متن کاملOn descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملCofibrations and Bicofibrations
The paper deals with the correlated concepts of cofibration and bicofibration in C∗-algebra theory. We study cofibrations of C∗-algebras introduced by Claude Schochet in [9] (see also [7]). Cofibrations are characterized by means of the mapping cylinder C∗-algebras. We also define and analyse the notion of bicofibration for C∗-algebras based on the topological model from [8] (see also [5]). As ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80349-4